Designing, Understanding, and Analyzing Unconventional Computation: The Important Role of Logic and Constructive Mathematics
نویسندگان
چکیده
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing – and should play – an important role in the design, understanding, and analysis of unconventional computation. Mathematics Subject Classification: 03A05, 03F60, 03F65, 68Q05, 65G20, 03F03
منابع مشابه
Intuitionistic Mathematics and Realizability in the Physical World
Intuitionistic mathematics perceives subtle variations in meaning where classical mathematics asserts equivalence, and permits geometrically and computationally motivated axioms that classical mathematics prohibits. It is therefore wellsuited as a logical foundation on which questions about computability in the real world are studied. The realizability interpretation explains the computational ...
متن کاملReliability Measures Measurement under Rule-Based Fuzzy Logic Technique
In reliability theory, the reliability measures contend the very important and depreciative role for any system analysis. Measurement of reliability measures is not easy due to ambiguity and vagueness which exist within reliability parameters. It is also very difficult to incorporate a large amount of uncertainty in well-established methodologies and techniques. However, fuzzy logic provides an...
متن کاملAn Introduction to the Use of Fuzzy Mathematics in Archeology (Case Study: Virtual Reconstruction of Togrul Tower by Using Fuzzy Reliability)
Nowadays, the use of fuzzy mathematics and fuzzy logic are increasing in various sciences. Archaeology is one of the sciences that is less attended with the methods of fuzzy mathematics and fuzzy logic. Due to the nature of many archaeological data, however, the use of such methods in archaeology can be beneficial. In this research, it has been tried to explain applications of fuzzy logic and f...
متن کاملUnconventional Algorithms: Complementarity of Axiomatics and Construction
In this paper, we analyze axiomatic and constructive issues of unconventional computations from a methodological and philosophical point of view. We explain how the new models of algorithms and unconventional computations change the algorithmic universe, making it open and allowing increased flexibility and expressive power that augment creativity. At the same time, the greater power of new typ...
متن کاملبررسی فرصت ها و چالش های گذار به دموکراسی در ترکیه از دهه 1980 تا کنون؛ از منظر نظریه سازه انگاری
Market-oriented policies and liberal economic policies pursued by Turgut Özal in the 1980s in Turkey, had initiated several structural changes in the cultural, economic and political spheres in the country. Constructive and cultural perceptions of Islam, expansion and strengthening the role of the bourgeoisie Muslim community- based and finally hegemony of Islamist Justice and Development Party...
متن کامل